منابع مشابه
Parallel Inductive Logic Programming
The generic task of Inductive Logic Programming (ILP) is to search a predeened subspace of rst-order logic for hypotheses that in some respect explain examples and background knowledge. In this paper we consider the development of parallel implementations of ILP systems. A rst part discusses the division of the ILP-task into subtasks that can be handled concurrently by multiple processes execut...
متن کاملEvaluating Parallel Logic Programming
Parallel logic programming systems are sophisticated examples of symbolic computing systems. They address problems such as dynamic memory allocation, scheduling irregular execution patterns, and managing diierent types of implicit parallelism. Most parallel logic programming systems have been developed for bus-based shared-memory architectures. The complexity of parallel logic programming syste...
متن کاملParallel Logic Programming with Extensions
A programming language is a tool and a vehicle for applications. The need to promote the evolution of Prolog towards a more expressive new logic programming language. A large medium-term national research project. Extensions to Logic Programming: new forms of computational reasoning, with explicit negation, constraint programming, parallelism and distribution support. The resulting language: PR...
متن کاملParallel Abduction in Logic Programming†
Logic Programming has been recently extended to include abduction as an inference mechanism leading to the development of Abductive Logic Programming (ALP). In this work we study the introduction of parallelism in the operational behaviour of an abductive logic program over and above the parallelism found in an ordinary logic program. In particular, we examine the exploitation of various forms ...
متن کاملOptimising Parallel Logic Programming Systems for Scalable Machines Optimising Parallel Logic Programming Systems for Scalable Machines
Logic programs are good examples of symbolic applications that often exhibit large amounts of implicit parallelism and that can greatly beneet from parallel computers. Parallel logic programming (PLP) systems have obtained excellent results for traditional bus-based shared-memory architectures. However, the scalable multiprocessors being developed today pose new challenges, such as the high lat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1990
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/33.6.482